bitkeeper revision 1.1159.260.1 (420e07e16YlSevQI9RYNGLwarPr2gQ)
authormafetter@fleming.research <mafetter@fleming.research>
Sat, 12 Feb 2005 13:42:57 +0000 (13:42 +0000)
committermafetter@fleming.research <mafetter@fleming.research>
Sat, 12 Feb 2005 13:42:57 +0000 (13:42 +0000)
commitb5a0388318fa6d23425f64ae0f0779d96dce7295
treec8b7e7d51f7a38e7045ea4cee4f7364225c36560
parent4db4e4f09f85c3905b01c37ad0dc4f1d59ffe2bb
bitkeeper revision 1.1159.260.1 (420e07e16YlSevQI9RYNGLwarPr2gQ)

Bug fix for shadow code.

When update_va_mapping() updates a entry, the corresponding shadow
entry may not be reachable via the shadow_linear_pg_table, even though
it is currently shadowed, as the corresponding spde has not necessarily
been faulted into place yet.
xen/arch/x86/memory.c
xen/include/xen/perfc_defn.h